up previous next
ThmProve [PROTOTYPE]    --    [PROTOTYPE] ThmProve


Syntax 
ThmProve(Hypothesis: IDEAL of RINGELEM, Thesis: IDEAL of RINGELEM): RECORD

Description
This is just a prototype: exact semantics, and interface are likely to change!

Example 
/**/ ThmMan();
/**/ ThmExample_FeetAndMidpoint();
/**/ ThmExample_Pappus();
/**/ ThmExample_DegenerateParallelogram();